2

Distributive semantics for nondeterministic typed λ-calculi

Year:
1984
Language:
english
File:
PDF, 3.63 MB
english, 1984
11

The insensitivity theorem for nonreducing reflexive types

Year:
1983
Language:
english
File:
PDF, 667 KB
english, 1983
15

Specification of abstract dynamic-data types: A temporal logic approach

Year:
1997
Language:
english
File:
PDF, 2.86 MB
english, 1997
17

A fair calculus of communicating systems

Year:
1984
Language:
english
File:
PDF, 1.26 MB
english, 1984
18

X-rays from the Symbiotic Star RX Pup

Year:
2006
Language:
english
File:
PDF, 274 KB
english, 2006
22

Weak and strong fairness in CCS

Year:
1987
Language:
english
File:
PDF, 1.96 MB
english, 1987